1. Proofs and Algorithms
پدیدآورنده: / Gilles Dowek
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Computer logic,Proof theory,Algorithms
رده :
QA
9
.
D68
2011


2. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده: Gilles Dowek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68

